export interface HKT<T> { }